- metamatematics
- метаматематика
Англо русский политехнический словарь. Академик.ру. 2011.
Англо русский политехнический словарь. Академик.ру. 2011.
логическое следование — ЛОГИЧЕСКОЕ СЛЕДОВАНИЕ отношение между высказываниями; более точно отношение между посылками и заключением, которое характеризуется тем, что заключение с необходимостью следует из посылок. Понятие Л. с. является центральным в… … Энциклопедия эпистемологии и философии науки